Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories
نویسندگان
چکیده
منابع مشابه
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerful framework to represent declarative programs. It also provides a target logic to obtain models f...
متن کاملFirst Order Theories for Partial Models
We investigate first order sentences valid in completions of a given partial algebraic structure a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model first order theory of this model.
متن کاملPartition-based logical reasoning for first-order and propositional theories
In this paper we provide algorithms for reasoning with partitions of related logical axioms in propositional and first-order logic (FOL). We also provide a greedy algorithm that automatically decomposes a set of logical axioms into partitions. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple knowledge bases that have overlap in content. Second, we...
متن کاملBernoulli matrix approach for matrix differential models of first-order
The current paper contributes a novel framework for solving a class of linear matrix differential equations. To do so, the operational matrix of the derivative based on the shifted Bernoulli polynomials together with the collocation method are exploited to reduce the main problem to system of linear matrix equations. An error estimation of presented method is provided. Numerical experiments are...
متن کاملFirst-Order Logical Filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intractable in dynamic domains that include many objects and relationships. Still, potential applications for such domains (e.g., semantic web, autonomous agents, and partial-knowledge games) encourage research beyond immed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2017
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-017-9419-3